Memory efficient context-sensitive program analysis
نویسندگان
چکیده
منابع مشابه
Pro le - Guided Context - Sensitive Program Analysis
Interprocedural analyses can be classiied as either context-insensitive, which tend to sacri-ce precision to gain eeciency, or context-sensitive, which are more precise but also more expensive. This paper discusses a proole-guided approach to interprocedural analysis that is context-sensitive, and hence more precise, for the \important" call sites for a function, and context-insensitive, and he...
متن کاملEfficient, Context-Sensitive Dynamic Analysis via Calling Context Uptrees
State-of-the-art dynamic bug detectors such as data race and memory leak detectors report program locations that are likely causes of bugs. However, static program location is not enough for developers to understand the behavior of increasingly complex and concurrent software. Dynamic calling context provides additional information, but it is expensive to record calling context frequently, e.g....
متن کاملContext-sensitive Asynchronous Memory
3 Domain. To further test the properties of the MPA algorithm, I developed an Abstract domain with the same overall structure as the Stinger Missile domain used in the earlier experiments. States in the Abstract domain are constructed entirely of sets of literals with no variables, eliminating binding problems; the complexity in the domain instead arises in its large number of operators (approx...
متن کاملData Structure Analysis: An Efficient Context-Sensitive Heap Analysis
This paper presents an efficient context-sensitive heap analysis algorithm called Data Structure Analysis designed to enable analyses and transformations on entire disjoint recursive data structures. The analysis has several challenging properties needed to enable such transformations: context-sensitivity with cloning (essential for proving disjointness), field-sensitivity, and the use of an ex...
متن کاملContext-sensitive spatio-temporal memory
The proposed model, called the combinatorial and competitive spatia-temporal memory or CCSTM, provides an elegant solution to the general problem of having to store and recall spatia-temporal patterns in which states or sequences of states can recur in various contexts. For example, fig. I shows two state sequences that have a common subsequence, C and D. The CCSTM assumes that any state has a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2021
ISSN: 0164-1212
DOI: 10.1016/j.jss.2021.110952